Results for 'X. Y. Newberry'

960 found
Order:
  1. Meaning, Presuppositions, Truth-relevance, Gödel's Sentence and the Liar Paradox.X. Y. Newberry - manuscript
    Section 1 reviews Strawson’s logic of presuppositions. Strawson’s justification is critiqued and a new justification proposed. Section 2 extends the logic of presuppositions to cases when the subject class is necessarily empty, such as (x)((Px & ~Px) → Qx) . The strong similarity of the resulting logic with Richard Diaz’s truth-relevant logic is pointed out. Section 3 further extends the logic of presuppositions to sentences with many variables, and a certain valuation is proposed. It is noted that, given this valuation, (...)
    Download  
     
    Export citation  
     
    Bookmark  
  2. The Fact that x = y.Nathan Salmon - 1987 - Philosophia 17 (4):517-518.
    Download  
     
    Export citation  
     
    Bookmark   11 citations  
  3. Estados Unidos/España: Diálogos Filosóficos.Esmeralda Balaguer García & Carlos X. Ardavín Trabanco (eds.) - 2020 - Valencia, Spain: Nexofía.
    From the back cover: "Un repaso de las publicaciones que han abordado las relaciones e intercambios entre los Estados Unidos de América y España, arroja un saldo positivo en los ámbitos sociológico, político y cultural; no así en el estricto campo de la filosofía, necesitado todavía de mayores estudios. Los once trabajos que integran Estados Unidos/España: Diálogos filosóficosrepresentan un esmerado aporte en esta dirección: el de paliar el citado desequilibrio mediante la reflexión en torno al influjo del pensamiento estadounidense en (...)
    Download  
     
    Export citation  
     
    Bookmark  
  4. x and the Politics of y, for some x and y.Mark Ressler - manuscript
    Inauthenticity can be understood as following the herd, in line with a metaphor from Nietzsche. The idea of inauthentic philosophy is explored in an analysis of the titles of articles in philosophy journals, particularly those following the general pattern of 'x and the Politics of y'.
    Download  
     
    Export citation  
     
    Bookmark  
  5. Systemic Immune Inflammation-Index and CANLPH Score in Patients with Mitral Stenosis Undergoing Balloon Valvuloplasty.Özge Ozcan Abacioglu, Arafat Yıldırım, Mine Karadeniz, Armagan Acele, Ferhat Dindas, Nemin Yıldız Koyunsever, Mustafa Dogdus & Halil İbrahim Kurt - 2023 - European Journal of Therapeutics 29 (1):10-16.
    Objective: to evaluate CANLPH score and systemic immune inflammation index (SII) in patients with symptomatic rheumatic mitral stenosis (MS) undergoing percutaneous mitral balloon valvuloplasty (PMBV). -/- Methods: 62 patients who underwent PMBV in our clinic between 2018 and 2021 were included retrospectively. The patients were divided into 2 groups according to echo score. The CANLPH score was calculated from the cut-off values of C-reactive protein to albumin ratio (CAR), neutrophil to lymphocyte ratio (NLR) and platelet to hemoglobin ratio (PHR), determined (...)
    Download  
     
    Export citation  
     
    Bookmark  
  6.  13
    AI-Powered Vision Assistance for Visually Challenged.Suraj Walke Prof S. Y. Bobade, Aarti Wagh, Rohit Shirsat, Shubham Supekar - 2024 - International Jour Nal of Innovative Research in Computer and Communication Engineering 12 (4):3027-3031.
    The world in the 21st century is ever evolving towards automation. This upsurge seemingly has no decline in the foreseeable future. Image recognition is at the forefront of this charge which seeks to revolutionize the way of living of the average man. If robotics can be likened to the creation of a body for computers to live in, then image processing is the development of the part of its brain which deal with identification and recognition of images. To accomplish this (...)
    Download  
     
    Export citation  
     
    Bookmark  
  7. When do we think that X caused Y?Tadeg Quillien - 2020 - Cognition 205:104410.
    Download  
     
    Export citation  
     
    Bookmark   15 citations  
  8. La estupidez de Fox Mulder. Gilles Deleuze y "Expediente X": breves notas paranormales acerca de la necedad.Ramón Macho Román - 2012 - Sesión No Numerada: Revista de Letras y Ficción Audiovisual 2:138-151.
    In light of some Gilles Deleuze’s texts in which he studies the stupidity and error problems, the conflict between heterodox investigations and traditional methods that The X-Files raises can be studied. One discovers that the reasons why Mulder wants to replace a kind of investigation with another and the process through which he performs this transformation are similar to the ones that work on Deleuze’s Images of Thought. Taking into account the impossibility of solving certain problems, which are usually understood (...)
    Download  
     
    Export citation  
     
    Bookmark  
  9. An Elementary, Pre-formal, Proof of FLT: Why is x^n+y^n=z^n solvable only for n<3?Bhupinder Singh Anand - manuscript
    Andrew Wiles' analytic proof of Fermat's Last Theorem FLT, which appeals to geometrical properties of real and complex numbers, leaves two questions unanswered: (i) What technique might Fermat have used that led him to, even if only briefly, believe he had `a truly marvellous demonstration' of FLT? (ii) Why is x^n+y^n=z^n solvable only for n<3? In this inter-disciplinary perspective, we offer insight into, and answers to, both queries; yielding a pre-formal proof of why FLT can be treated as a true (...)
    Download  
     
    Export citation  
     
    Bookmark  
  10. De las reglas hacia la X: racionalidad, postmetafísica y retórica entre Wittgenstein y Vattimo.Miguel Angel Quintana Paz - 2004 - Thémata: Revista de Filosofía 32:135-158.
    Leeremos la hermenéutica nihilista de G. Vattimo como continuación del pensar de Wittgenstein en su argumento sobre el significado de "seguir una regla". Para ello definimos como "metafísicas" las posturas epistemológicas que otorgan a una instancia independiente de la acción de los sujetos la autoridad sobre la corrección de sus prácticas comunicativas, y como postmetafísicas aquellas que consideran tal instancia como dependiente de la acción de los participantes en las prácticas. Wittgenstein demuestra en su tratamiento de las reglas que la (...)
    Download  
     
    Export citation  
     
    Bookmark  
  11. X. MANTIK ÇALIŞTAYI.Mantık Derneği - 2022 - Nevşehir, Nevşehir Merkez/Nevşehir, Türkiye: Kapadokya Üniversitesi.
    X. Mantık Çalıştayı 2-4 Eylül 2021 tarihlerinde Kapadokya Üniversitesi’nin ev sahipliğinde gerçekleştirildi. Mantık Derneği’nin 10 yıldır aralıksız bir şekilde düzenlediği çalıştaylara, Covid-19 dolayısıyla iki yıl ara verilmek zorunda kalındı. Çalıştay’ın pandemi sonrası tekrar gerçekleştirilmesinde her türlü olanağı sağlayan Kapadokya Üniversitesi’ne, Rektör Prof. Dr. Hasan Ali Karasar’a ve emeği geçen herkese teşekkürlerimizi sunuyoruz.
    Download  
     
    Export citation  
     
    Bookmark  
  12.  83
    McGregor's theory Y vs. Bentham's panopticism: Toward a critique of the economic theory of agency.David Ellerman - 2001 - Knowledge, Technology & Policy 14 (1):34-49.
    This paper is part of a larger project to better understand the limitations of the economic theory of agency and incentives.1 The economic approach focuses on extrinsic incentives whereas a better understanding of human organization requires an understanding of intrinsic motivation and the complementary or substitutive relationships with extrinsic motivation. I will focus on different treatments of informational or “panoptic” questions regarding transparency or non-transparency in the management of firms or other human organizations. This context will give the questions definiteness (...)
    Download  
     
    Export citation  
     
    Bookmark  
  13. La distinción entre acto y movimiento en Metafísica IX 6.Trinidad Avaria Decombe - 2015 - Estudios de Filosofía (Universidad de Antioquia) 51 (January-June):87–108.
    La distinción entre acto y movimiento que enuncia Aristóteles en Metafísica IX 6, 1048b18–35, ha causado una gran polémica entre los intérpretes aristotélicos contemporáneos. En este artículo defendemos que la distinción no está en conflicto con el resto del libro IX, ni con el Corpus Aristotelicum en general. De hecho, aparece también en ética a Nicómaco X 4 y De Anima III 7. Además, sin esta distinción no sería posible entender la inmovilidad del primer motor defendida en Metafísica XII, puesto (...)
    Download  
     
    Export citation  
     
    Bookmark  
  14. Statements and open problems on decidable sets X⊆N that contain informal notions and refer to the current knowledge on X.Apoloniusz Tyszka - 2022 - Journal of Applied Computer Science and Mathematics 16 (2):31-35.
    Let f(1)=2, f(2)=4, and let f(n+1)=f(n)! for every integer n≥2. Edmund Landau's conjecture states that the set P(n^2+1) of primes of the form n^2+1 is infinite. Landau's conjecture implies the following unproven statement Φ: card(P(n^2+1))<ω ⇒ P(n^2+1)⊆[2,f(7)]. Let B denote the system of equations: {x_j!=x_k: i,k∈{1,...,9}}∪{x_i⋅x_j=x_k: i,j,k∈{1,...,9}}. The system of equations {x_1!=x_1, x_1 \cdot x_1=x_2, x_2!=x_3, x_3!=x_4, x_4!=x_5, x_5!=x_6, x_6!=x_7, x_7!=x_8, x_8!=x_9} has exactly two solutions in positive integers x_1,...,x_9, namely (1,...,1) and (f(1),...,f(9)). No known system S⊆B with a finite (...)
    Download  
     
    Export citation  
     
    Bookmark  
  15. Conjunto plitogénico, una extensión de los conjuntos crisp, difusos, conjuntos difusos intuicionistas y neutrosóficos revisitado.Florentin Smarandache - 2018 - Neutrosophic Computing and Machine Learning 3 (1):1-19.
    En el presente artículo, introducimos el conjunto plitogénico (como generalización de conjuntos nítidos, borrosos, intuicionistas, borrosos y neutrosóficos), que es un conjunto cuyos elementos se caracterizan por los valores de muchos atrib utos. Un valor de atributo v tiene un grado correspondiente (difuso, intuicionista difuso o neutrosófico) de pertenencia d (x, v) del elemento x, al conjunto P, con respecto a algunos criterios dados. Para obtener una mejor precisión para los operadores d e agregación plitogénica en el conjunto plitogénico, y (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  16. La esfera pública y El bar de las Folies Bergère de Edouard Manet.Carlos Vanegas - 2014 - Revista Colombiana de Pensamiento Estético E Historia Del Arte:121-137.
    The main discourses on art during the nineteenth century defined the artist as a spirit that should express their unbridled creativity, and overall that had the strength to express its total personal autonomy from institutional processes of culture. Thus, Manet’s work A bar at the Folies—Bergere contains substantial elements that express and help us to understand both the role of the artist, as the crisis of meaning in the work of modern art and problematic public sphere, treated by Haberma's as (...)
    Download  
     
    Export citation  
     
    Bookmark  
  17. Rani Lill Anjum & Stephen Mumford What Tends to Be: the Philosophy of Dispositional Modality. London & New York: Routledge, hbk pp. x+193. [REVIEW]Stathis Psillos & Stavros Ioannidis - 2019 - Notre Dame Philosophical Reviews 201903.
    There seems to be widespread agreement that there are two modal values: necessity and possibility. X is necessary if it is not possible that not-X; and Y is possible if it is not necessary that not-Y. In their path-breaking book, Rani Lill Anjum and Stephen Mumford defend the radical idea that there is a third modal value, weaker than necessity and stronger than possibility. This third value is dubbed 'dispositional modality' (DM) or 'tendency' and is taken to be an irreducible (...)
    Download  
     
    Export citation  
     
    Bookmark  
  18. Un problema abierto de independencia en la teoría de conjuntos relacionado con ultrafiltros no principales sobre el conjunto de los números naturales N, y con Propiedades Ramsey.Franklin Galindo - manuscript
    En el ámbito de la lógica matemática existe un problema sobre la relación lógica entre dos versiones débiles del Axioma de elección (AE) que no se ha podido resolver desde el año 2000 (aproximadamente). Tales versiones están relacionadas con ultrafiltros no principales y con Propiedades Ramsey (Bernstein, Polarizada, Subretículo, Ramsey, Ordinales flotantes, etc). La primera versión débil del AE es la siguiente (A): “Existen ultrafiltros no principales sobre el conjunto de los números naturales (ℕ)”. Y la segunda versión débil del (...)
    Download  
     
    Export citation  
     
    Bookmark  
  19. Del inconsciente y su repercusión en el espectador (10th edition).Leonardo Baños - 2023 - Dossier X Encuentro de Jóvenes Investigadores de Humanidades.
    El trabajo desarrolla la concepción del inconsciente como voluntad desde el análisis de la lectura ¿Que es la ilustración? de Michel Foucault. La imagen del "inconsciente" supone un conocimiento que está manejado por los discursos de la época. El suponer una verdad en base a una creencia es el producto del inconsciente que se encuentra sometido a un evento discursivo. En ese sentido, se propone, desde una mirada crítica que ofrece el autor francés sobre la revolución francesa, que el rol (...)
    Download  
     
    Export citation  
     
    Bookmark  
  20. Modal logic with names.George Gargov & Valentin Goranko - 1993 - Journal of Philosophical Logic 22 (6):607 - 636.
    We investigate an enrichment of the propositional modal language L with a "universal" modality ■ having semantics x ⊧ ■φ iff ∀y(y ⊧ φ), and a countable set of "names" - a special kind of propositional variables ranging over singleton sets of worlds. The obtained language ℒ $_{c}$ proves to have a great expressive power. It is equivalent with respect to modal definability to another enrichment ℒ(⍯) of ℒ, where ⍯ is an additional modality with the semantics x ⊧ ⍯φ (...)
    Download  
     
    Export citation  
     
    Bookmark   71 citations  
  21. An Argument for Conjunction Conditionalization.Lee Walters & Robert Williams - 2013 - Review of Symbolic Logic 6 (4):573-588.
    Are counterfactuals with true antecedents and consequents automatically true? That is, is Conjunction Conditionalization: if (X & Y), then (X > Y) valid? Stalnaker and Lewis think so, but many others disagree. We note here that the extant arguments for Conjunction Conditionalization are unpersuasive, before presenting a family of more compelling arguments. These arguments rely on some standard theorems of the logic of counterfactuals as well as a plausible and popular semantic claim about certain semifactuals. Denying Conjunction Conditionalization, then, requires (...)
    Download  
     
    Export citation  
     
    Bookmark   21 citations  
  22.  95
    The Subject of state and the Subject of evaluation [Субъект состояния и субъект оценки].Anton Zimmerling - 1999 - In Нина Д Арутюнова & Ирина Б Левонтина, Логический анализ языка. Образ человека в культуре и языке. Н.Д.Арутюнова, И.Б.Левонтина (отв. ред.). М., Индрик, 1999, 422 с. ISBN 5-85759-091-4 [Logical Analysis of Language. The Images of Human in Cultures and Languages. Nina D. Arutyunova and Irina B. Moscow: Indrik. pp. 221 - 228.
    This paper published in the 1999 volume of the “Logical Analysis” series serves doubles purpose. For the first, it offers a taxonomy of Russian statives (predicates of state) based on language-specific criteria, such as the (in)ability of Russian copular predicates to take animate dative subjects. For the second, it outlines the general idea that true stative predicates with an animate subject project a complex event structure with two animate participants — the Experiencer alias the Subject of State (X), and the (...)
    Download  
     
    Export citation  
     
    Bookmark  
  23. A weaker condition for transitivity in probabilistic support.William A. Roche - 2012 - European Journal for Philosophy of Science 2 (1):111-118.
    Probabilistic support is not transitive. There are cases in which x probabilistically supports y , i.e., Pr( y | x ) > Pr( y ), y , in turn, probabilistically supports z , and yet it is not the case that x probabilistically supports z . Tomoji Shogenji, though, establishes a condition for transitivity in probabilistic support, that is, a condition such that, for any x , y , and z , if Pr( y | x ) > Pr( y (...)
    Download  
     
    Export citation  
     
    Bookmark   22 citations  
  24.  80
    The Same F1 but a Different F2 – with Absolute Identity.Robert Francescotti - forthcoming - Metaphysica.
    Here I present an analysis of what it is for an x and a y to be the same F. Unlike the Fregean Analysis (FRE), according to which ‘x is the same F as y’ is equivalent to ‘x is an F, y is an F, and x = y’, the analysis presented and defended here allows that there are possible cases in which x and y are the same F1 but not the same F2 even though x is an (...)
    Download  
     
    Export citation  
     
    Bookmark  
  25. The Caesar Problem — A Piecemeal Solution.J. P. Studd - 2023 - Philosophia Mathematica 31 (2):236-267.
    The Caesar problem arises for abstractionist views, which seek to secure reference for terms such as ‘the number of Xs’ or #X by stipulating the content of ‘unmixed’ identity contexts like ‘#X = #Y’. Frege objects that this stipulation says nothing about ‘mixed’ contexts such as ‘# X = Julius Caesar’. This article defends a neglected response to the Caesar problem: the content of mixed contexts is just as open to stipulation as that of unmixed contexts.
    Download  
     
    Export citation  
     
    Bookmark  
  26. How Ecology Can Edify Ethics: The Scope of Morality.Lantz Fleming Miller - 2018 - Journal of Agricultural and Environmental Ethics 31 (4):443-454.
    Over the past several decades environmental ethics has grown markedly, normative ethics having provided essential grounding in assessing human treatment of the environment. Even a systematic approach, such as Paul Taylor’s, in a sense tells the environment how it is to be treated, whether that be Earth’s ecosystem or the universe itself. Can the environment, especially the ecosystem, as understood through the study of ecology, in turn offer normative and applied ethics any edification? The study of ecology has certainly increased (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  27. Do Moral Questions Ask for Answers?Benjamin De Mesel - 2015 - Philosophia 43 (1):43-61.
    It is often assumed that moral questions ask for answers in the way other questions do. In this article, moral and non-moral versions of the question ‘Should I do x or y?’ are compared. While non-moral questions of that form typically ask for answers of the form ‘You should do x/y’, so-called ‘narrow answers’, moral questions often do not ask for such narrow answers. Rather, they ask for answers recognizing their delicacy, the need for a deeper understanding of the meaning (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  28. Logical Foundations of Local Gauge Symmetry and Symmetry Breaking.Yingrui Yang - 2022 - Journal of Human Cognition 6 (1):18-23.
    The present paper intends to report two results. It is shown that the formula P(x)=∀y∀z[¬G(x, y)→¬M(z)] provides the logic underlying gauge symmetry, where M denotes the predicate of being massive. For the logic of spontaneous symmetry breaking, by Higgs mechanism, we have P(x)=∀y∀z[G(x, y)→M(z)]. Notice that the above two formulas are not logically equivalent. The results are obtained by integrating four components, namely, gauge symmetry and Higgs mechanism in quantum field theory, and Gödel's incompleteness theorem and Tarski's indefinability theorem in (...)
    Download  
     
    Export citation  
     
    Bookmark  
  29. Solving ordinary differential equations by working with infinitesimals numerically on the Infinity Computer.Yaroslav Sergeyev - 2013 - Applied Mathematics and Computation 219 (22):10668–10681.
    There exists a huge number of numerical methods that iteratively construct approximations to the solution y(x) of an ordinary differential equation (ODE) y′(x) = f(x,y) starting from an initial value y_0=y(x_0) and using a finite approximation step h that influences the accuracy of the obtained approximation. In this paper, a new framework for solving ODEs is presented for a new kind of a computer – the Infinity Computer (it has been patented and its working prototype exists). The new computer is (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  30. Escaping Arrow’s theorem: the Advantage-Standard model.Wesley Holliday & Mikayla Kelley - 2025 - Theory and Decision 98 (2):165-204.
    There is an extensive literature in social choice theory studying the consequences of weakening the assumptions of Arrow’s Impossibility Theorem. Much of this literature suggests that there is no escape from Arrow-style impossibility theorems, while remaining in an ordinal preference setting, unless one drastically violates the Independence of Irrelevant Alternatives (IIA). In this paper, we present a more positive outlook. We propose a model of comparing candidates in elections, which we call the Advantage-Standard (AS) model. The requirement that a collective (...)
    Download  
     
    Export citation  
     
    Bookmark  
  31. Formulação de Ração Para Caprinos.Emanuel Isaque Cordeiro da Silva - manuscript
    Formulação de Ração para Caprinos -/- APRESENTAÇÃO -/- O material Formulação de Ração para Caprinos, assim como a edição para ovinos, visa servir de alicerce para demonstrar as exigências nutricionais atualizadas dos caprinos, além das equações que servem para determinar a exigência do animal em uma determinada situação. Além disso, demonstra a avaliação bromatológica dos principais alimentos utilizados para a alimentação do rebanho no Brasil, esses valores da composição nutricional servem de base, assim como as exigências para as técnicas matemáticas (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  32. Existence predicate.Reinhard Muskens - 1993 - In R. E. Asher & J. M. Y. Simpson, The Encyclopedia of Language and Linguistics. Pergamon. pp. 1191.
    Kant said that existence is not a predicate and Russell agreed, arguing that a sentence such as ‘The king of France exists’, which seems to attribute existence to the king of France, really has a logical form that is not reflected in the surface structure of the sentence at all. While the surface form of the sentence consists of a subject and a predicate, the underlying logical form, according to Russell, is the formula given in. This formula obviously has no (...)
    Download  
     
    Export citation  
     
    Bookmark  
  33. Comments on Mark Kalderon's “The Open Question Argument, Frege's Puzzle, and Leibniz's Law”.Peter Alward - unknown
    A standard strategy for defending a claim of non-identity is one which invokes Leibniz’s Law. (1) Fa (2) ~Fb (3) (∀x)(∀y)(x=y ⊃ (∀P)(Px ⊃ Py)) (4) a=b ⊃ (Fa ⊃ Fb) (5) a≠b In Kalderon’s view, this basic strategy underlies both Moore’s Open Question Argument (OQA) as well as (a variant formulation of) Frege’s puzzle (FP). In the former case, the argument runs from the fact that some natural property—call it “F-ness”—has, but goodness lacks, the (2nd order) property of its (...)
    Download  
     
    Export citation  
     
    Bookmark  
  34. Komitmen organisasi: Karyawan Dengan kepribadian tipe a Dan tipe B.Veronica Ruvina - 2010 - Phronesis (Misc) 9 (2).
    The aim of this study is to describe organizational commitment between type A personality’s and type B is personality’s workers on three companies. Organizational commitment is define as the degree of psychological identification with or attachment to the organization for which we work. Participant of this study was 108 workers from three different companies. Data was obtained by questionnaire and processed with SPSS for Windows ver. 12. Using Mann-Whitney independent t-test for non parametric, the result of organizational commitment U = (...)
    Download  
     
    Export citation  
     
    Bookmark  
  35. (2 other versions)Gap Principles, Penumbral Consequence, and Infinitely Higher-Order Vagueness.Delia Graff Fara - 2003 - In J. C. Beall, Liars and Heaps: New Essays on the Semantics of Paradox. Oxford, England: Oxford University Press.
    Philosophers disagree about whether vagueness requires us to admit truth-value gaps, about whether there is a gap between the objects of which a given vague predicate is true and those of which it is false on an appropriately constructed sorites series for the predicate---a series involving small increments of change in a relevant respect between adjacent elements, but a large increment of change in that respect between the endpoints. There appears, however, to be widespread agreement that there is some sense (...)
    Download  
     
    Export citation  
     
    Bookmark  
  36. Leibniz Did Not State Leibniz's Law.Adam Hogan - 2014 - Ohiolink Etd.
    I propose that Leibniz did not state Leibniz’s Law, the logically and metaphysically robust principle that is typically understood as the following biconditional: ∀x ∀y [(x = y) ↔ ∀P (Px ↔ Py)]. To arrive at this conclusion, I examine the three principles that have become associated with Leibniz’s Law: the Substitutivity Principle (salva veritate), the Indiscernibility of Identicals, and the Identity of Indiscernibles. I show that Leibniz intended salva veritate as a semantic principle, never explicitly stated the Indiscernibility of (...)
    Download  
     
    Export citation  
     
    Bookmark  
  37. A Turing Machine for Exponential Function.P. M. F. Lemos - manuscript
    This is a Turing Machine which computes the exponential function f(x,y) = xˆy. Instructions format and operation of this machine are intended to best reflect the basic conditions outlined by Alan Turing in his On Computable Numbers, with an Application to the Entscheidungsproblem (1936), using the simplest single-tape and single-symbol version, in essence due to Kleene (1952) and Carnielli & Epstein (2008). This machine is composed by four basic task machines: one which checks if exponent y is zero, a second (...)
    Download  
     
    Export citation  
     
    Bookmark  
  38. (4 other versions)Halting problem undecidability and infinitely nested simulation (V2).P. Olcott - manuscript
    The halting theorem counter-examples present infinitely nested simulation (non-halting) behavior to every simulating halt decider. Whenever the pure simulation of the input to simulating halt decider H(x,y) never stops running unless H aborts its simulation H correctly aborts this simulation and returns 0 for not halting.
    Download  
     
    Export citation  
     
    Bookmark  
  39. Elements of Mathematical Logic for Consistency Analysis of Axiomatic Sets in the Mind-Body Problem.David Tomasi - 2020 - In David Låg Tomasi, Critical Neuroscience and Philosophy. A Scientific Re-Examination of the Mind-Body Problem. London, England, UK: Palgrave MacMillan Springer.
    (...) However, whether we chose a weak or strong approximation, the set would not make any sense at all, if (once more) this choice would not be justified in either temporal or spatial sense or given the context of possible applicability of the set in different circumstances. This would obviously represent a dualism in itself as we would (for instance) posit and apply a full identity-equality-equivalence of x and y when applying Newtonian physics to certain observations we make (it would (...)
    Download  
     
    Export citation  
     
    Bookmark  
  40. 3. Simulating gravity via Planck scale n-body particle-particle orbital pairs.Malcolm J. Macleod - manuscript
    An orbital simulation program is described that uses a geometrical approach to modeling gravitational and atomic orbits at the Planck scale. Orbiting objects A, B, C... are sub-divided into points, each point representing 1 unit of Planck mass, for example, a 1kg satellite would divide into 1kg/Planck mass = 45940509 points. Each point in object A then forms a rotating orbital pair with every corresponding point in objects B, C... resulting in a universe-wide, n-body network of rotating point-to-point orbital pairs. (...)
    Download  
     
    Export citation  
     
    Bookmark  
  41. Why did Fermat believe he had `a truly marvellous demonstration' of FLT?Bhupinder Singh Anand - manuscript
    Conventional wisdom dictates that proofs of mathematical propositions should be treated as necessary, and sufficient, for entailing `significant' mathematical truths only if the proofs are expressed in a---minimally, deemed consistent---formal mathematical theory in terms of: * Axioms/Axiom schemas * Rules of Deduction * Definitions * Lemmas * Theorems * Corollaries. Whilst Andrew Wiles' proof of Fermat's Last Theorem FLT, which appeals essentially to geometrical properties of real and complex numbers, can be treated as meeting this criteria, it nevertheless leaves two (...)
    Download  
     
    Export citation  
     
    Bookmark  
  42. Differences in Individuation and Vagueness.W. Grafe - 1981 - In A. Hartkämper & Heinz-Jürgen Schmidt, Structure and Approximation in Physical Theories. New York City, New York, USA: [ Content courtesy of Springer Nature, terms of use apply ]. pp. 113-122.
    I. EPISTEMOLOGICAL SUGGESTIONS From an epistemological view, classifying a statement as 'vague' means to judge the statement in question to be a mixture from partial knowledge and partial ignorance. Accordingly it seems desirable to describe the boundary between knowledge and ignorance hidden in the vague statement. -/- Ludwig discusses vagueness in physics, especially vagueness in measuring statements. The example he uses is 'measurement of Euclidean distance', i.e. the meaning of statements which are often written as "d(x,y) = α ± ε", (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  43. No lacuna and no vicious regress: A reply to le poidevin.Christina Conroy - 2008 - Acta Analytica 23 (4):367-372.
    In his “Space, supervenience and substantivalism”, Le Poidevin proposes a substantivalism in which space is discrete, implying that there are unmediated spatial relations between neighboring primitive points. This proposition is motivated by his concern that relationism suffers from an explanatory lacuna and that substantivalism gives rise to a vicious regress. Le Poidevin implicitly requires that the relationist be committed to the “only x and y ” principle regarding spatial relations. It is not obvious that the relationist is committed to this (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  44. The Construction of Social Reality: An Exchange.Barry Smith & John Searle - 2003 - American Journal of Economics and Sociology 62 (2):285-309.
    Part 1 of this exchange consists in a critique by Smith of Searle’s The Construction of Social Reality focusing on Searle’s use of the formula ‘X counts as Y in context C’. Smith argues that this formula works well for social objects such as dollar bills and presidents where the corresponding X terms (pieces of paper, human beings) are easy to identify. In cases such as debts and prices and money in a bank's computers, however, the formula fails, because these (...)
    Download  
     
    Export citation  
     
    Bookmark   53 citations  
  45. The Origin of Excluded Middle in the Extensional Bifurcation of Predicate.Morteza Shahram - manuscript
    x and y are at least weakly indiscernible if they are distinct with respect to two predicates F and G (FxGy or FyGx and not both) but for all z except x and y, Fz if and only if Gz.
    Download  
     
    Export citation  
     
    Bookmark  
  46. (1 other version)John Searle: Od aktów mowy do rzeczywistości społecznej.Barry Smith - 2003 - Roczniki Filozoficzne 51 (1):265-292.
    Polish translation of "John Searle: From Speech Acts to Social Reality", -/- We provide an overview of Searle's contributions to speech act theory and the ontology of social reality, focusing on his theory of constitutive rules. In early versions of this theory, Searle proposed that all such rules have the form 'X counts as Y in context C' formula – as for example when Barack Obama (X) counts as President of the United States (Y) in the context of US political (...)
    Download  
     
    Export citation  
     
    Bookmark   13 citations  
  47. The identity of the categorical and the dispositional.Galen Strawson - 2008 - Analysis 68 (4):271-282.
    Suppose that X and Y can’t possibly exist apart in reality; then—by definition—there’s no real distinction between them, only a conceptual distinction. There’s a conceptual distinction between a rectilinear figure’s triangularity and its trilaterality, for example, but no real distinction. In fundamental metaphysics there is no real distinction between an object’s categorical properties and its dispositional properties. So too there is no real distinction between an object and its properties. And in fundamental metaphysics, for X and Y to be such (...)
    Download  
     
    Export citation  
     
    Bookmark   80 citations  
  48. Because you’ll find out anyway, your wife is having an affair - If and Because.Rani Lill Anjum - manuscript
    In an explanation ‘y because x’, because can be used to express an explanatory relation between an explanandum ‘y’ and an explanans ‘x’. But because can also be used to express the speaker’s reason for uttering ‘y’. This difference will be elucidated by connecting it with the distinction between the at-issue dimension and the speaker dimension of meaning. There are also internal relations between if and because that can help us find and analyse different uses of because, and thus also (...)
    Download  
     
    Export citation  
     
    Bookmark  
  49. The Case for Comparability.Cian Dorr, Jacob M. Nebel & Jake Zuehl - 2023 - Noûs 57 (2):414-453.
    We argue that all comparative expressions in natural language obey a principle that we call Comparability: if x and y are at least as F as themselves, then either x is at least as F as y or y is at least as F as x. This principle has been widely rejected among philosophers, especially by ethicists, and its falsity has been claimed to have important normative implications. We argue that Comparability is needed to explain the goodness of several patterns (...)
    Download  
     
    Export citation  
     
    Bookmark   28 citations  
  50. Model Pluralism.Walter Veit - 2019 - Philosophy of the Social Sciences 50 (2):91-114.
    This paper introduces and defends an account of model-based science that I dub model pluralism. I argue that despite a growing awareness in the philosophy of science literature of the multiplicity, diversity, and richness of models and modeling practices, more radical conclusions follow from this recognition than have previously been inferred. Going against the tendency within the literature to generalize from single models, I explicate and defend the following two core theses: any successful analysis of models must target sets of (...)
    Download  
     
    Export citation  
     
    Bookmark   41 citations  
1 — 50 / 960